<?php
    function html_drop_down_list($name , $option = array(), $selected = ''){
       return html::html_drop_down_list($name , $option , $selected);
    }
    
    function html_textbox($name , $value = ''){
        return html::html_textbox($name , $value);
    }
    function html_submit($text = 'submit'){
        return html::html_submit($text);
    }
?>